Bring back gdk_display_put_event

It is still needed in WebKit.

diff --git a/docs/reference/gdk/gdk4-sections.txt b/docs/reference/gdk/gdk4-sections.txt
index 2a25039548bb49a9c198ab891204416b1f43128b..d2ac4a1514b537c142dd0eb9ff4543ffce03d54c 100644 (file)
--- a/docs/reference/gdk/gdk4-sections.txt
+++ b/docs/reference/gdk/gdk4-sections.txt
@@ -95,6 +95,9 @@ gdk_display_get_setting
 gdk_display_get_startup_notification_id
 gdk_display_setup_window_visual
 
+<SUBSECTION>
+gdk_display_put_event
+
 <SUBSECTION>
 gdk_display_map_keyval
 gdk_display_map_keycode

diff --git a/gdk/gdkdisplay.c b/gdk/gdkdisplay.c
index 2994416805d236d11e7faff6aa9de034866fc4ab..81277b9f7bf6d2b22bfaab745defa4bb4fe722fc 100644 (file)
--- a/gdk/gdkdisplay.c
+++ b/gdk/gdkdisplay.c
@@ -466,10 +466,13 @@ gdk_display_peek_event (GdkDisplay *display)
  *
  * Appends the given event onto the front of the event
  * queue for @display.
+ *
+ * This function is only useful in very special situations
+ * and should not be used by applications.
  **/
 void
-gdk_display_put_event (GdkDisplay     *display,
-                      GdkEvent       *event)
+gdk_display_put_event (GdkDisplay *display,
+                       GdkEvent   *event)
 {
   g_return_if_fail (GDK_IS_DISPLAY (display));
   g_return_if_fail (event != NULL);

diff --git a/gdk/gdkdisplay.h b/gdk/gdkdisplay.h
index 12a3f99faf0d124e92fa7138d4e377170c1c5503..217fbb6b570d2632c7af496324b852025e0ebc95 100644 (file)
--- a/gdk/gdkdisplay.h
+++ b/gdk/gdkdisplay.h
@@ -100,6 +100,10 @@ GDK_AVAILABLE_IN_ALL
 GdkMonitor * gdk_display_get_monitor_at_surface (GdkDisplay *display,
                                                 GdkSurface  *surface);
 
+GDK_AVAILABLE_IN_ALL
+void      gdk_display_put_event  (GdkDisplay     *display,
+                                  GdkEvent       *event);
+
 GDK_AVAILABLE_IN_ALL
 gboolean       gdk_display_map_keyval  (GdkDisplay    *display,
                                         guint          keyval,

diff --git a/gdk/gdkdisplayprivate.h b/gdk/gdkdisplayprivate.h
index f6a1b32b06ab26827f3045daac57553b280270d3..8f70e12aa4e1220aa3d4166ffc0952e264588e92 100644 (file)
--- a/gdk/gdkdisplayprivate.h
+++ b/gdk/gdkdisplayprivate.h
@@ -246,8 +246,6 @@ void                gdk_display_setting_changed       (GdkDisplay       *display
 
 GdkEvent *          gdk_display_get_event             (GdkDisplay       *display);
 GdkEvent *          gdk_display_peek_event            (GdkDisplay       *display);
-void                gdk_display_put_event             (GdkDisplay       *display,
-                                                       GdkEvent         *event);
 gboolean            gdk_display_has_pending           (GdkDisplay       *display);